Several intrinsic/extrinsic distinctions amongst properties, current in the literature, are discussed and contrasted. The proponents of such distinctions tend to present them as competing, but it is suggested here that at least three of the relevant distinctions (including here that between non-relational and relational properties) arise out of separate perfectly legitimate intuitive considerations: though of course different proposed explications of the informal distinctions involved in any one case may well conflict. Special attention is paid to the question of whether a (...) single notion of property is capable of supporting the various distinctions. (shrink)

SummaryIf you know you can recognise positive instances of a property, can you use this knowledge so as to be able to recognise also its negative instances? This is the question to be adressed.

An account of desire as a species of belief may owe its appeal to the details of its proposal as to precisely what sort of beliefs desires are to be identified with, and its downfall may be due to those details it does provide. For example, it may be proposed that the desire that α is in fact the belief that it ought to be that α, or is morally good or desirable that it should be the case that α. (...) Here the appeal might be that of forging a link between the holding of a moral belief and the acknowledgment that one has a reason for acting a certain way; and the shortcoming of the suggestion is its evident implausibility: even if the ‘necessity’ direction could be established, having a desire hardly seems sufficient for the holding of any such belief. Again: it might be proposed, perhaps simply to bring some order into the realm of propositional attitudes by reducing some to others, that the belief with which we should identify a’s desire that α is a’s belief that he will or would be happy if α. This proposed identification can be seen to be incorrect by consideration of examples such as the following, due to J. Gosling. An aging and ailing parent might forego numerous pleasures in order that his children should reap the benefits of his saving and have a good start in life – perhaps by receiving an expensive education – after his impending death. Oearly he may want that they should so benefit even if he does not believe in an after-death existence in which he might come to know of, and so take pleasure in, his children’s subsequent well-being. So his wanting that they should prosper cannot consist in his believing that he will be happy if/when they do, since he has no expectation of even being in existence in that eventuality. As Gosling puts it, there is a clear difference between thinking that something’s coming about will bring one pleasure, on the one hand, and viewing the prospect of its coming about with pleasure, on the other. (shrink)

A purported axiomatization, by P. Gärdenfors, of intuitionistic propositional logic is shown to be incomplete, and that the mistaken claim to completeness is seen to result from carelessness in the choice of primitive logical vocabulary. This leads to a consideration of various ways of conceiving the distinction between primitive and defined vocabularies, along with the bearing of these differences on such matters as are discussed in connection with Gärdenfors.

Book reviewed in this article:F.H. Bradley, Collected Works Volumes 1–5.

The sources of the real conflict between science and various kinds of undertakings in occultism pretending to be science date back to the end of the 16th and beginning of the 17th centuries, when modern scientific method was barely taking shape. The natural philosophy of the 16th century, which put forth natural magic in place of divine magic, was the ideological antipode of the new science in process of formation. The pantheistic reinterpretation of monotheistic Christian creationism is a characteristic feature (...) of constructs in natural philosophy with their striving toward maximal substantialization of the nonmaterial. Thus, for example, the rationalist mystic of natural philosophy, Girolamo Cardano, returns in his work to the medieval notion of the world soul, but understands by it an entirely material substance which he identifies with light and heat. (shrink)

We illustrate, with three examples, the interaction between boolean and modal connectives by looking at the role of truth-functional reasoning in the provision of completeness proofs for normal modal logics. The first example (§ 1) is of a logic (more accurately: range of logics) which is incomplete in the sense of being determined by no class of Kripke frames, where the incompleteness is entirely due to the lack of boolean negation amongst the underlying non-modal connectives. The second example (§ 2) (...) focusses on the breakdown, in the absence of boolean disjunction, of the usual canonical model argument for the logic of dense Kripke frames, though a proof of incompleteness with respect to the Kripke semantics is not offered. An alternative semantic account is developed, in terms of which a completeness proof can be given, and this is used (§ 3) in the discussion of the third example, a bimodal logic which is, as with the first example, provably incomplete in terms of the Kripke semantics, the incompleteness being due to the lack of disjunction (as a primitive or defined boolean connective). (shrink)

Hegel was one of the philosophers, who seemingly paid only little attention to the conceptual problems of aetiology. The paper deals especially with those parts of his work, in which Hegel sheds light particularly on these problems. It examines a evaluates Hegel's conception of interconnection between entities such as reality, essence, necessity, appearance and causality . A special attention is paid to the question of "causa sui" as inherently related to the problem of mutual causation. The paper shows many methodological (...) dangers as well as the lessons, we can still draw from Hegel's aetiological reflections. (shrink)

For the claim that the satisfaction of certain conditions is sufficient for the application of some concept to serve as part of the (`reductive') analysis of that concept, we require the conditions to be specified without employing that very concept. An account of the application conditions of a concept not meeting this requirement, we call analytically circular. For such a claim to be usable in determining the extension of the concept, however, such circularity may not matter, since if the concept (...) figures in a certain kind of intensional context in the specification of the conditions, the satisfaction of those conditions may not itself depend on the extension of the concept. We put this by saying that although analytically circular, the account may yet not be inferentially circular. (shrink)

We consider the modal logic of non-contingency in a general setting, without making special assumptions about the accessibility relation. The basic logic in this setting is axiomatized, and some of its extensions are discussed, with special attention to the expressive weakness of the language whose sole modal primitive is non-contingency , by comparison with the usual language based on necessity.

This essay is a critical theological and pastoral study of the Working Document of the Second African Synod. The article engages the articles in the document which deal with the theme of reconciliation. This essay begins by exploring the Christological and ecclesiological foundations for an African theology of reconciliation as found in the working document. While engaging the significant aspects of the working document which relate to articulating an African theology of reconciliation, this essay shows the limitations of the document (...) in its historical and cultural analysis of the situation in Africa. Drawing from a phenomenological hermeneutical engagement with African history, cultural grammar, and Christ-centered African Christian imagination, the essay widens the scope of theological engagement with the task of reconciliation in Africa. It does a theological aesthetics of reconciliation in Africa, by integrating diverse cultural, ontological, and Christological symbols within the African world on vital participation and vital union. Through the inculturation of vital participation as analogous to Trinitarian Communion, the essay shows how the Church in Africa can deal with the ever-revolving cycle of violence, conflicts, and divisions in the churches and political institutions which have all hampered the mission of building relationship and God's kingdom in Africa. The essay concludes by recommending four pastoral approaches through which the Catholic Church in Africa can be both a reconciled community and an instrument for reconciliation in Africa. (shrink)

This paper is about a support information management system for a wind power producer having an energy storage system and participating in a day-ahead electricity market. Energy storage can play not only a leading role in mitigation of the effect of uncertainty faced by a WP producer, but also allow for conversion of wind energy into electric energy to be stored and then released at favourable hours. This storage provides capability for arbitrage, allowing an increase on profit of a WP (...) producer, but must be supported by a convenient problem formulation. The formulation proposed for the support information management system is based on an approach of stochasticity written as a mixed integer linear programming problem. WP and market prices are considered as stochastic processes represented by a set of scenarios. The charging/discharging of the ESS are considered dependent on scenarios of market prices and on scenarios of WP. The effectiveness of the proposed formulation is tested by comparison of case studies using data from the Iberian Electricity Market. The comparison is in favour of the proposed consideration of stochasticity. (shrink)